package Time;

import java.sql.SQLOutput;
import java.time.ZoneId;
import java.util.Set;
import java.util.regex.Matcher;
import java.util.regex.Pattern;

public class ZoneidDemo1 {
    public static void main(String[] args) {
        /*
        static set<String> getAvailablezoneIds()        获取Java中支持的所有时区
        static zoneId systemDefault()                   获取系统默认时区
        static zoneId of( string zoneId)                获取一个指定时区
        */

        //1.获取所有的时区名称
        Set<String> zoneids = ZoneId.getAvailableZoneIds();
        System.out.println(zoneids);
        System.out.println(zoneids.size());
        System.out.println("-------------------------");

//        查找Asia/xxxx
//        String regex = "Asia/.{0,10}";
//        Pattern pattern = Pattern.compile(regex);
//        for (String zoneid : zoneids) {
//            Matcher matcher = pattern.matcher(zoneid);
//            while (matcher.find()) {
//                System.out.println(matcher.group());
//            }
//        }

        //2.获取当前系统的默认时区
        ZoneId zoneid = ZoneId.systemDefault();
        System.out.println(zoneid);//Asia/Shanghai

        //3.获取指定的时区
        ZoneId zoneid1 = ZoneId.of("Asia/Makassar");
        System.out.println(zoneid1);//Asia/Makassar

    }
}
